Input (grade 7): But it is not possible to prove that those solutions are optimal.
Output (grade 7): But it is not possible to prove that those solutions are optimal or the best.