Fix another undefined behavior in SAT test found by Valgrind.