68.09/69.96	unsat
