MAYBE UNSAT "/tmp/SMTS13402-9" (line 122, column 18): unexpected "." expecting letter or digit, "_", "'", white space, "(", "-", digit or ")"