Text this: Features of setting up and solving the design and verification tasks on the example calculation of rectification of a binary mixture