69.54/73.13	unsat
