UNSATISFIABILITY

aa ab ai al an as at ay ba bi by fa if in is it la li na nu si ta ti un us ut ya

aal aas aba abs aby aft ail ain ais ait ala alb als alt ana ani ant any ass att ays baa bal ban bas bat bay bin bis bit bun bus but buy bys fab fan fas fat fay fib fil fin fit flu fly fub fun ifs ins its lab las lat lay lib lin lis lit nab nay nib nil nit nub nus nut sab sal sat sau say sib sin sis sit sly sty sub sun syn tab tan tas tat tau til tin tis tit tub tui tun tut uns uta uts yin

aals abas ably abut abys ails ains aits alan alas alba albs alfa alif alit alts anal anas anil anis ansa anta anti ants anus aunt ayin baal baas bail bait bals bani bans bass bast bats batt bays bias bins bint bits bitt blat blin buna buns bunt buss bust busy buts butt buys fabs fail fain fans fast fats faun fays fiat fibs fila fils fins fist fits flab flan flat flay flit flub flus fubs funs fuss ibis ilia inby inia inly inti isba labs lain lass last lati lats latu lays libs lift lins lint liny list lits litu luna lunt luny lust nabs naif nail nala nays nibs nils nisi nits nubs nuts sabs sail sain sals salt sans sati saul says sial sibs sift silt sins sits slab slat slay slit slub slut snib snit snub stab stat stay stub stun suba subs suit suns syli tabs tabu tail tain tala tali tans tass tats taus taut tils tilt tins tint tiny titi tits tuba tubs tufa tuft tuis tuna tuns tuts tyin ulan ulna unai unit utas yins yuan