1.38/5.82	unsat
