2.62/2.74	unsat
