193.43/196.59	unsat
