51.68/54.23	unsat
