70.38/70.69	unsat
