51.06/56.47	unsat
