A uniformizable spherical CR structure on a two-cusped hyperbolic 3-manifold

Let < I-1, I-2, I-3 > be the complex hyperbolic (4, 4, infinity) triangle group. We prove Schwartz's conjecture that < I-1, I-2, I-3 > is discrete and faithful if and only if I-1 I-3 I-2 I-3 is nonelliptic. If I-1 I-3 I-2 I-3 is parabolic, we show that the even subgroup < I-2 I-3, I2I1 > i is the holonomy representation of a uniformizable spherical CR structure on the two-cusped hyperbolic 3-manifold s782 in SnapPy notation.