4. En una empresa se ha observado que 80 empleados son ingenieros, 45 son mujeres y 30 son ingenieros que también son mujeres. De los empleados que no son ingenieros, 25 son hombres que trabajan como contadores. Además, se sabe que hay 20 ingenieras que no trabajan. ¿Cuántos hombres ingenieros trabajan?