Rubik's cube solver with IDA*