Program menurut bool-expr-solve.sf.net