194.77/198.06	unsat
