added review of enumerable methods to sat