minisat: fails with clang

Closes #28778.