added example sat solver outputs for zchaff and siege