2.38/4.05	unsat
