Default solving mode is :strict