example/no_solution.sdk