9.47/9.57	unsat
