2.50/2.92	unsat
