クリーネ閉包を除くと、この問題はnexptime完全となる。