0.70/0.97	unsat
