70.13/70.38	unsat
