pub fn solve_with(level: &Level, effort: Effort) -> SolveOutcome
solve, with the ceiling named by the caller.
solve