Output

Any errors will appear here, along with UnSAT cores.