0.70/0.88	unsat
