0 / 60 seg.

Of course he had been attempting to prove the n = 7 case but had proved a weaker result.