193.44/194.04	unsat
