Fedora 16 Update: cryptominisat-2.9.2-1.fc16