Added NaiveSolver