70.71/70.86	unsat
