1.38/6.05	unsat
