189.23/193.32	unsat
