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