adding incremental SAT
comparision between increasing plr simutenously and separately