0	.	http://minisat.se/downloads/
