1.38/2.04	unsat
