52.40/56.08	unsat
