Improved solving speed.
The clause satisfaction array is now checked before a clause's variables are checked.  In other words, a clause that is satisfied according to the array is definitely satisfied and definitely not a dead end.  Otherwise, we need to do a variable check to see if it is satisfied (a dead end) or not.
Improved documentation.
Removed a leftover function call.