Directory Listing for http://www.cs.sunyb.edu/~algorith/implement/dimacs/distrib/satis/sato/index.php

README
sato.tar.Z