All instances of MONOTONE 3-SAT-(3, 1) are satisfiable. - Hannah Van Santvliet; Ronald de Haan (CoRR, 2023)