50.68/51.25	unsat
