The number of buttons a machine produces varies directly as the time it is
running. If the machine produces 688 buttons in 12 min, how many would it
produce in 15 min?