\ toysolver: NG
\ toysat: OK
\ scip-2.1.1.darwin.x86_64.gnu.opt.spx.nozimpl: OK
Minimize
 obj: P
Subject To
 [ P * Q ] = 35
Bounds
 2 <= P <= 7
 2 <= Q <= 7
General
 P Q
End