74.78/76.06	unsat
