Bei deiner Lösung kann man noch 6x und 8x zusammennehmen, ausserdem sollten die Variablen auch nach dem Alphabet geordnet sein also statt yx xy.