70.36/71.42	unsat
