147.39/147.83	unsat
