193.78/194.43	unsat
