8.67/9.51	unsat
