cannot use csp solver