196.40/196.72	unsat
