--2010-06-02 17:36:38--  http://minisat.se/downloads/minisat2-070721.zip
Resolving minisat.se... 213.133.110.145
Connecting to minisat.se|213.133.110.145|:80... connected.
HTTP request sent, awaiting response... 200 OK
Length: 48776 (48K) [application/zip]
Server file no newer than local file `./minisat2-070721.zip' -- not retrieving.

--2010-06-02 17:36:39--  http://www.dwheeler.com/essays/minisat-user-guide-1.0.html
Resolving www.dwheeler.com... 207.55.250.19
Connecting to www.dwheeler.com|207.55.250.19|:80... connected.
HTTP request sent, awaiting response... 200 OK
Length: 8263 (8.1K) [text/html]
Server file no newer than local file `./minisat-user-guide-1.0.html' -- not retrieving.