9.38/10.04	unsat
