1.28/2.92	unsat
