P4171 [JSOI2010] 满汉全席 2-SAT详细题解