52.67/54.85	unsat
