9.69/9.74	unsat
