69.20/70.12	unsat
