SZS status Theorem for i/f/sat/pth__ni1
