50.62/50.73	unsat
