1.08/2.92	unsat
