73.93/74.06	unsat
