7.67/9.17	unsat
