@esskar: Puh, Respekt. Verstehen tue ich es noch nicht, aber interessant sieht es aus. Ein Ergebniss hat es mir leider noch nicht geliefert, aber den Arbeitsspeicher gefüllt und die CPU ordentlich belastet. Ich dachte es könnt nicht so wild sein. Der Symbolvorrat beläuft sich auf 7 Zeichen, also sollte die Lösung innerhalb von 10^7 Möglichkeiten liegen, oder?

Ich werde es auch mal mit vorkims Methode probieren. Das ist klassiche lineare Algebra, das sollte noch klappen. ;)