A_307 s UNSATISFIABLE 
A_309 s UNSATISFIABLE 
A_310 s UNSATISFIABLE 
A_311 s UNSATISFIABLE 
B_135 s UNSATISFIABLE 
B_141 s UNSATISFIABLE 
B_306 s UNSATISFIABLE s VERIFIED
B_191 s UNSATISFIABLE s VERIFIED
B_193 s UNSATISFIABLE s VERIFIED
B_304 s UNSATISFIABLE s VERIFIED
B_194 s UNSATISFIABLE s VERIFIED
B_298 s UNSATISFIABLE s VERIFIED
B_273 s UNSATISFIABLE s VERIFIED
B_234 s UNSATISFIABLE s VERIFIED
B_267 s UNSATISFIABLE s VERIFIED
B_272 s UNSATISFIABLE s VERIFIED
