./pbencoder <OPB_File> >> <CNF_File>
./opb+cnf_to_wcnf <OPB_File> <CNF_File> <WCNF_File>
