PkgResolve: misc. improvements

*) fields no longer normalized
*) accuracy settable via environment variable
*) better handling of unsat cases