commutative group solver started