just the robocup.dsc