Original: But it is not possible to prove that those solutions are optimal.
Simplified: But it is not possible to prove that those solutions are optimal or the best.