193.29/197.33	unsat
