Verdcamp Fruits SAT