Solver + example that can be manually checked