196.80/196.93	unsat
