191.79/193.92	unsat
