70.71/70.87	unsat
