Solves the example quickly.