% SZS status Timeout for FOLDL2__def_
