192.43/193.05	unsat
