problem instance reader SASTProblem finished, helper classes Spot, Method added