2.87/2.92	unsat
