1.38/3.26	unsat
