50.22/51.55	unsat
