9.38/10.49	unsat
