A vending machine is programmed to count out the correct change for each transaction. Formulate and solve an IP model that will determine how change is to be made for a purchase of $4.43, when a $10 bill is inserted into the machine. The model's solution should be based on the availability of coins in the machine, with the objective of minimizing the total number of coins used to make the change.