5.67/9.74	unsat
