Fixed doctest in solve