1.58/6.82	unsat
