2-SAT 输出可行解