Logic CSAT