some update for implementing sariel lp
removal of not needed solution variable in main
sariel lp finally works
randomized rounding instead of determinstic rounding in the plane