#include <stdio.h>
main ( ) {
  printf ("The average of the prices is ");
  printf ("%f", (10.2 + 12.0 + 13.2) / 3);
  printf ("\n");
}