9.52/9.78	unsat
