147.58/147.99	unsat
