Benders


 * 1) Bender duplicates