Add 2-sat tests