Add MiniSat_LICENSE