193.44/194.55	unsat
