0.70/0.92	unsat
