196.01/196.48	unsat
