52.17/54.54	unsat
