7.67/9.28	unsat
