A customer has a budget of $19,000 and uses 9,000 kWh per year. Their local installer charges $3.06/watt and uses a module that produces 12 W/ft2. What is the maximum system size they can afford?