Butanol is where it's at. It can be made more efficiently than ethanol, and has a freezing point low enough to prevent coagulation. The additional methyl groups have enough hydrophobic & van der Wals interactions to lower the freezing point below normal cruise SAT...