50.75/51.77	unsat
