Https E System Sat Conversion Problems Using Dimensional Analysis