Https E System Sat Conversion Problem Practice