Scheduling of crude oil refinery operation with desalting as a separate task. Issue 6 (15th July 2020)