51.03/51.22	unsat
