0.70/0.81	unsat
