An application of the UNIFAC-RKS method to a reactive system