You would have approximately two disks worth of usable space; 2 * 2.73 ~= 5.46TiB.
4.17TiB + .957TiB = 5.13TiB
RAIDZ is not an exact science, as it merely guarantees a redundancy level, and small blocks will consume more space for parity than you might otherwise expect. It does not appear to be shockingly outside a plausible range.