68.58/70.53	unsat
