191.91/193.38	unsat
