Added proof building and output for pure sat.