MainSatPref problemi con graph