>>205
3-SATってNP完全なん?