Https E System Sat Conversion Problems Chemistry