Solves Reve's puzzle optimally using Frame-Stewart