69.97/70.14	unsat
