Added SATLib reference to DIMACS files