R4SAT

73 queries in 1,633 seconds.