3SAT

3SAT STREAM