70.88/71.62	unsat
