linear programming problem over the reals