9.67/9.75	unsat
