2.89/2.92	unsat
