We analyze M-theory compactified on K3 × K3 with fluxes preserving half the supersymmetry and its F-theory limit, which is dual to an orientifold of the type IIB string on K3 × (T2/Bbb Z2). The geometry of attractive K3 surfaces plays a significant role in the analysis. We prove that the number of choices for the K3 surfaces is finite and we show how they can be completely classified. We list the possibilities in one case. We then study the instanton effects and see that they will generically fix all of the moduli. We also discuss situations where the instanton effects might not fix all the moduli.