147.31/151.73	unsat
