added solver that makes use of prefixes