Make naive solver use less RAM.