Binary: minisat+

fatback-g77 cake it knemo less tiffdump luseradd mdoc-export-html pbmtextps nexcontrol grunt-init ttf2pt1_showg unifdef finance dawgdic-build dwww-convert heat.lut orca-dm-wrapper gt5 input-kbd keystone-all polarssl_gen_key iceboxnet-3.5 macho-dump-3.5 mh_make mark_service_stopped ppsctl pymissile thpot xzgv