51.94/55.53	unsat
