70.62/71.69	unsat
