WATCH: 0.00 CPU 0.01 WC
unsat
CVC3 interrupted

WATCH: 0.19 CPU 0.49 WC

FINAL WATCH: 0.19 CPU 0.49 WC