9.38/12.01	unsat
