Problem:
四つ子素数

(a, a+2, a+6, a+8) のように並んだ 4 つの素数の組を四つ子素数といいます。四つ子素数を構成する四つの素数のうち、最大の数をその四つ子素数の大きさと呼びます。例えば、最も小さい大きさの四つ子素数は、(5, 7, 11, 13) の組であり、その大きさは 13 です。次に大きい四つ子素数は、(11, 13, 17, 19) の組で、その大きさは 19 です。

整数 n (13 ≤ n ≤ 10,000,000) を入力とし、大きさが n 以下になるような四つ子素数のうち、最大となるものの大きさを出力するプログラムを作成してください。

Input

複数のデータセットの並びが入力として与えられます。入力の終わりはゼロひとつの行で示されます。
各データセットとして１つの整数 n が１行に与えられます。

データセットの数は 2000 を超えません。

Output

入力データセットごとに、最大となる四つ子素数の大きさを1行に出力します。

Sample Input

13
14
15
16
17
18
19
20
10000
0

Output for the Sample Input

13
13
13
13
13
13
19
19
9439

Solution in Haskell (judge verdict: Time Limit Exceeded)

import Control.Applicative ((<$>))
import Control.Monad (unless)

main :: IO ()
main = do
  n <- readLn
  unless (n == 0) $ do
    solve n >>= print
    main

solve :: Int -> IO Int
solve = return . f []
  where f st x | even x = f st (x-1)
               | isPrime x = case st of
                              (a : b : c : _) -> if x + 2 == a && a + 4 == b && b + 2 == c then c else f [x, a, b] (x - 2)
                              _ -> f (x:st) (x - 2)
               | otherwise = f st (x - 2)

isPrime :: Int -> Bool
isPrime n | n == 1 = False
          | n == 2 = True
          | even n = False
          | otherwise = all ((/= 0) . (mod n)) ls
  where
    ls = takeWhile ((<= n) . (^ 2)) [3, 5 ..]