1.38/1.82	unsat
