refine demo
	modified:   demo.clp