A hydrocarbon petroleum distillate, used as a dry-cleaning fluid and as a solvent for varnishes and paint.