1.18/2.92	unsat
