what distilled spirit contains an alcohol content of 42.8?
(AND distilled_spirits.distilled_spirit (JOIN distilled_spirits.distilled_spirit.abv 42.8^^http://www.w3.org/2001/XMLSchema#float))