2SATをclassに変更