[HORACIO+ARRECEYGOR+-SAT-]