Gurobi 5.1.0 is supported.