from #61 : 1) Subsampled norm testing 2) Check if formulation solves to the correct optimal solution 3) Binarizer of the X
