P1(C=C(C)C(=C1)C)C(C)(C)C