Add Mini2Sat (CDCL + VSIDS)