7/24/14 - rule8 with fSat conditions