
SPC DIMACS Challenge version, January 2, 2006.
