70.47/73.39	unsat
