70.29/70.53	unsat
