% SZS status Timeout for BOLZANO__LEMMA__A
