190.77/193.31	unsat
