1.58/1.82	unsat
