Added satisfied clause memory.  The first variable to satisfy a clause is stored to reduce the amount of clause searching that has to be done.