191.09/193.28	unsat
