52.59/54.91	unsat
