9.32/9.72	unsat
