1.38/4.82	unsat
