1191.69/1193.50	unsat
