Working on improving solver performance.