51.72/55.07	unsat
