The isentropic efficiency of a compressor (inlet 1, actual exit 2, isentropic exit 2s) is