isabelle 39 sec

6,0626k
22 votes
202
94.7%
5.3%