a human-translated benchmark dataset for 16 African languages covering three tasks: NLI, MMLU and MGSM