148.00/151.13	unsat
