anomalism EXPSPACE LQQR Ums Halting pastille satisfiability teabag Vaidman Resampling QQBF Flatulence unsolvability saari Salonia Ressies PRODUCING PQundL Kobon F2003 Drumare underdetermination funarg isospectral knapsack LQQG makedepend solving Pompeiu multiobjective SUBSET Dinostratus solves