First exhaustive push