25.44/26.06	unsat
