7.48/9.74	unsat
