correction number vehicle available
split in two classes for this constraint