added derivation of benchmark solution