--2010-01-07 22:44:27--  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]
Saving to: `./minisat2-070721.zip'

     0K .......... .......... .......... .......... .......   100% 8.90M=0.005s

2010-01-07 22:44:28 (8.90 MB/s) - `./minisat2-070721.zip' saved [48776/48776]

--2010-01-07 22:44:28--  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.