added variable m to list of ars in satisfy()
Merge pull request #2 from ibrokethat/fix-global-var

added variable m to list of vars in satisfy()