Https E System Sat Conversion Problem In Chemistry