#include <stdio.h>

int main() {
    char matricula[30];
    float nota1, nota2, nota3, media;

    printf("Digite a matricula: ");
    scanf("%s", matricula);

    printf("Digite a primeira nota: ");
    scanf("%f", &nota1);

    printf("Digite a segunda nota: ");
    scanf("%f", &nota2);

    printf("Digite a terceira nota: ");
    scanf("%f", &nota3);

    media = (nota1 + nota2 + nota3) / 3;

    printf("Matricula: %s\n", matricula);
    printf("Media do aluno: %.2f\n", media);

    return 0;
}

Digite a matricula: 25
Digite a primeira nota: 8
Digite a segunda nota: 7
Digite a terceira nota: 9
Matricula: 25
Media do aluno: 8.00