52.18/54.38	unsat
