2.38/3.25	unsat
