50.42/50.57	unsat
