193.26/197.52	unsat
