Add 2 practice problems to 2sat.md (2 SAT)#1559

mhayter merged 2 commits intocp-algorithms:maincp-algorithms/cp-algorithms:mainfrom

Hostek:patch-2Hostek/cp-algorithms-fork:patch-2Copy head branch name to clipboard