9.48/10.57	unsat
