9.71/9.74	unsat
