Working, not as expected

~ Corrected example3
~ Moved DFSAF initialization
~ Fixed pref

! prefSAT seems returning the wrong values