194.39/196.03	unsat
