Fixed UnSAT not showing up for unSAT errors refering to constraints