Satisfiabil Prob & Bool Tdm10h by Joe Franco