SZS status Theorem for i/f/poly/ORDER__UNIQUE
