193.27/193.58	unsat
