9.48/9.52	unsat
