197.28/197.30	unsat
