adding some info on satisfiability
adding some info on satisfiability