192.67/193.06	unsat
