効率的なアルゴリズムが欲しい

wonderfl build flash online | 面白法人カヤック の 4 問目が難しいのでコンピュータに解かせようとしたものの、いつまでたっても終わらない。
http://www.theory.informatik.uni-kassel.de/~stamer/pcp/pcp3en.html によると、4 問目は長さ 75、5問目は長さ 340 以上らしい。
追記: Welcome to the Post's Correspondence Problem! のソルバで 4 問目が解けた。