192.62/193.75	unsat
