Logic Solves A Rubiks Cube