195.70/196.42	unsat
