0 / 60 seg.

H Wang (1961) asked if there exists a general decision method for deciding every question of this kind.