SELECT * FROM cars WHERE color='red' ORDER BY 0.8*price + 0.2*mileage FETCH FIRST 5 ROWS ONLY