Extraction and sequential elution of a heavy oil from direct coal liquefaction. (15th January 2020)