Made method 2 much more efficient.
Fixed bug in all-diff sat creator
Removed comment at EOF