up to first solution