0.51/0.88	unsat
