1.38/3.00	unsat
