Added sokoban demo