b := 0 twith symmetries
2
b := Db *Db*q4 + b *q5 + b *b*q1 + b *b *q2 + b *b *q3
s 2x 5x 3x 2x x x
SYSTEM & SYMMETRY DO NOT SATISFY MINIMAL REQUIREMENTS!