undo solve()