Sokoban Pocket by Elaine

Push every crate onto a marker. Levels are generated on your machine and are always solvable, with three board sizes, unlimited undo and a numbered level you can come back to.