Standard ML Rubik's Solver - limited