Sat Manipulation Of Sum Of Factors