maj 5 9 True 1669.0s
maj 5 10 True 87.3s