194.45/197.63	unsat
