= Translation of RSF-Files into DIMACS Format =