147.61/147.98	unsat
