linear programming solution works!