B3 does not exist, added output of SatPlan solver for sokoban 3
Added simple Predicate object..can use in array list for checking if true