0.40/0.92	unsat
