何か材料ないと2sat超えるのは難しいかな(´・ω・`)