aggiornamento satisfy 1.5.5

Sabato requested to merge update-statisfy into master Aug 02, 2024