Add minisat LICENSE