147.58/147.62	unsat
