9.67/9.72	unsat
