add obdd pending e solution tolto il bottone run

te lo do io il contributor!