Title: Cold-SAT Dynamic Model