193.60/197.13	unsat
