1.38/3.10	unsat
