197.24/197.52	unsat
