0.71/0.88	unsat
