fix(smt2): Flush cout after executing a command
fix(smt2): Flush cout after executing a command

dreal/dreal4,dreal/dreal4,soonho-tri/dreal4,soonho-tri/dreal4,soonho-tri/dreal4,dreal/dreal4,dreal/dreal4,soonho-tri/dreal4