Mason is cutting wood for a carpentry project his boss is completing. He has been given boards which are 72 inches long, but he needs them to be 20 percent of this size. How long should the boards be cut to?​