70.58/71.52	unsat
