Code@LTH 2022#10 - 2-Sat