Solve status: Optimal
