Consider a system having 'm' resources of the same type. The resources are shared by 3 processes A, B and C which have peak demands of 2, 4 and 5 respectively. The minimum value of 'm' that ensures that deadlock will never occur is