proof1puzzle (52)