Modifying binary search function in roa code to use mosek if installed.