191.26/193.29	unsat
