2.49/2.92	unsat
