52.94/54.00	unsat
