@Unpublished{DIM,
    Author       = "DIMACS",
    Title        = "{Satisfiability Suggested Format}",
    Note         = "{ftp://dimacs.rutgers.edu/pub/challenge/satisfiability/doc/satformat.tex}",
    Comment      = ""
}