147.65/150.77	unsat
