Add problem definitions for Sokoban problems 1-3