1.18/1.82	unsat
