(format t "~d~%" (/ (* 2021 (+ (* 19 43) (* 28 47))) (* 43 47 27)))