/home/models/dreal4/dreal/test/smt2/hong/hong_10.smt2