print ("5000000000000000-SAT")