isabelle 39 sec

6,2316k
22 votes
202
94.7%
5.3%