賣電車quota. Resolver ecuaciones con dos incognitas. Frp vessels size. Priority encoder logic.