5.2.4 pass@k