191.21/193.75	unsat
