The time required to process a shipment of goods at Wal-Mart varies directly with the number of items and inversely with the number of workers assigned. If 15,000 items can be processed by 8 workers in 3600 minutes, then how long would it take 12 workers to process 20,000 items?