2.88/2.92	unsat
