S=P(OCC(F)(F)F)(OCC(F)(F)F)OCC(F)(F)F