QUI_7_SMT_2_PDF