Don't print solution in case we run cryptominisat

Much less strain on AWS S3