Sokoban problem definition from 9/12 meeting