194.45/197.10	unsat
