有一个水池，池底存了一些水，并且还有泉水不断涌出。为了将水池里的水抽干，原计划调来8台抽水机同时工作。但出于节省时间的考虑，实际调来了9台抽水机，这样比原计划节省了8小时。工程师们测算出，如果最初调来10台抽水机，将会比原计划节省12小时。这样，将水池的水抽干后，为了保持池中始终没有水，还应该至少留下（）台抽水机。