A solver can piece together a solution.