How to Solve the Pyraminx in Under 10 Seconds