Structure of ThcOx, solved at wavelength 3.099 A