Optimal Solution Checking