Https E System Sat Conversion Problems Examples