51.88/54.22	unsat
