A concrete example of symplectic duality among K-3 surfaces

An explicit example of symplectic duality among two particular K-3 surfaces is given. The example was considered by Iliev and Ranestad. Here, by using projective and computer algebra methods, it is proved that the two surfaces are in fact dominated by a 3-fold.