24.78/25.06	unsat
