1.38/2.05	unsat
