% SZS status Timeout for calculational__nightma
