Add VerifyThis2021 solutions

1 job for ci/VerifyThis2021-cleanup in 13 minutes and 13 seconds (queued for 4 seconds)