start writing a simpler but less efficient interface to the 'plan b' solver