print"%.14e"%(1-.7-.3)