<?php
$data = explode( " ", trim( fgets( STDIN ) ) );
$sum = 0;
foreach( $data as $v ){
    $sum += $v;
}
printf( "%d\n", 55 - $sum );