70.29/70.75	unsat
