70.49/71.45	unsat
