Hovercraft socp Gurobi GAMS short