まぁそうか，選択肢が３つあって，リテラルが５個あったら，3^5の選択肢が・・・・・