194.58/196.47	unsat
