Problemi presi da http://www.cs.ubc.ca/~hoos/SATLIB/index-ubc.html
Sono tutti insoddifacibili.
