AMRANI HASSANI Oussama / 2-SAT