[{"label":"Guru"},{"label":"Guru"},{"label":"Gurobi"},{"label":"Gurobi"}]