Output
Any errors will appear here, along with UnSAT cores.