Silly-SATs—reasoning