148.40/151.25	unsat
