69.08/73.15	unsat
