Consider the following integer linear programming problem.

Max $z=4x+3y$

Subject to:

$4x+6y35$

$5x+3y30$

$x9$

$x,y0$ and integer.

What is the optimal solution to the integer linear programming problem?

$25$

$12$