52.41/56.78	unsat
