A patient with a severe traumatic brain injury has an ICP of 25 mmHg and a MAP of 80 mmHg.What is the cerebral perfusion pressure (CPP)?