Https E System Sat Conversion Problems