I brute-forced this one, not sure if there is a fancy trick I missed