193.79/199.75	unsat
