  In the course of the proof of the irrationality of zeta(2) R. Apery
introduced numbers b_n = \sum_{k=0}^n {n \choose k}^2{n+k \choose k}. Stienstra
and Beukers showed that for the prime p > 3 Apery numbers satisfy congruence
b((p-1)/2) = 4a^2-2p mod p, if p = a^2+b^2 (where a is odd). Later, Zagier
found some generalizations of Apery numbers, so called sporadic sequences, and
recently Osburn and Straub proved similar congruences for all but one of the
six Zagier's sporadic sequences (three cases were already known to be true) and
conjectured the congruence for the sixth sequence.
  In this paper we prove that remaining congruence by studying Atkin and
Swinnerton-Dyer congruences between Fourier coefficients of certain cusp form
for non-congurence subgroup.
