Integer Programming Models In Algorithm For Rubiks Cube