py3 fix
szegedy/schrijver: cone specification and return infeasibility cert