\ toysolver: NG
\ toysat: OK (90.117s)
\ scip-2.1.1.darwin.x86_64.gnu.opt.spx.nozimpl: wrong answer
Minimize
 obj: P
Subject To
 [ P * Q ] = 137874311 \ = 7927*17393
Bounds
 2 <= P <= 11741       \ = sqrt 137874311
 2 <= Q <= 68937155    \ = 137874311/2
General
 P Q
End