SZS status Theorem for i/f/float/CLOSEST__IN__SET
