xy <= 2, x => 1, y => 1