the average salary of all the workers in a workshop is $ 8000 . the average salary of 7 technicians is $ 12000 and the average salary of the rest is $ 6000 . the total number of workers in the shop is ?
n0 = 8000.0
n1 = 7.0
n2 = 12000.0
n3 = 6000.0
t0 = n1 * n2
t1 = n1 * n3
t2 = n0 - n3
t3 = t0 - t1
answer = t3 / t2
print(answer)