50.97/51.61	unsat
