6.67/9.24	unsat
