194.59/197.86	unsat
