A hole of 10 mm diameter is to be finished with a hand reamer. The hole size required for reaming should be