incremental solve