% SZS status Timeout for PREFIX__FOL
