Logic solves Rubik's Cube while Rapping Metropolis