WATCH: 0.00 CPU 0.01 WC
unsat
CVC3 interrupted

WATCH: 0.27 CPU 0.38 WC

FINAL WATCH: 0.27 CPU 0.38 WC