1.38/3.40	unsat
