70.80/71.70	unsat
