54.49/56.91	unsat
