frogtptp: sat/unsat regex are now optional
in frogtptp.ml, zenons "no proof found" is "unknown", not "sat"