% SZS status Timeout for MAP__FOL
