void i4_to_bvec ( int i4, int n, int bvec[] );
void satisfy_brute ( int n, int formula ( int bvec[] ) );