problem instance reader SASTProblem initialized