5.67/7.25	unsat
