182.06/186.13	unsat
