aggiunti var binarie X, vincoli di adiacenza (rotti) e funzione obiettivo