1.18/5.82	unsat
